bounded existential quantifier

un. 有界存在量詞